Hidden Algebraic Engineering 1
نویسنده
چکیده
This paper outlines a research programme in algebraic engineering. It starts with a review of classical algebraic speciication for abstract data types, such as integers, vectors, booleans, and lists. Software engineering also needs abstract machines, recently called \objects," that can communicate concurrently with other objects, and that have local states with visible \attributes" that are changed by inputs. Hidden algebra is a new development in algebraic semantics for such systems; its most important results are powerful hidden coinduction principles for proving behavioral properties, especially behavioral reenement.
منابع مشابه
Hidden Algebra for Software Engineering
This paper is an introduction to recent research on hidden algebra and its application to software engineering; it is intended to be informal and friendly, but still precise. We rst review classical algebraic speciication for traditional \Platonic" abstract data types like integers, vectors, matrices, and lists. Software engineering also needs changeable \abstract machines," recently called \ob...
متن کاملWeb-based Support for Cooperative Software Engineering1
The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems has led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems has led us into hidden algebra and fuzzy logic. T...
متن کاملBehavioral Correctness Proofs for Objects
This paper unveils and motivates an ambitious programme of hidden algebraic research in software engineering, beginning with our general goals, continuing with an overview of results, and including some future plans. The main contribution is powerful hidden coinduction techniques for proving behavioral correctness of concurrent systems; several mechanical proofs are given using OBJ3. We also sh...
متن کاملWeb-based Multimedia Support for Distributed Cooperative Software Engineering1
The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami sys...
متن کاملWeb-based Multimedia Support for Distributed Cooperative Software Engineering
The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997